../../tests/round-trip/gold/axioms.sml